A P-Lingua based simulator for tissue P systems
نویسندگان
چکیده
Tissue P systems are one of the currently active research topics within the field of Membrane Computing. In particular, their computational efficiency is being investigated in the case when the number of cells can grow by means of cell separation rules. In order to complement this study, it is useful to provide simulation software tools for this variant of tissue P systems. The paper presents an extension of P-Lingua specification language, in order to include the class of tissue P systems with cell separation. This extension involves updating the P-Lingua parser, by reinterpreting some operators, along with some new ingredients. In addition, a new built-in simulation algorithm that has been added to the core library of P-Lingua is also presented. A case study of a family of tissue P systems with cell separation of type TSC(3) solving SAT is used to show the dynamics of the simulator.
منابع مشابه
Simulator of P-Systems with String Replication Developed in Framework of P-Lingua 2.1
In this paper we present beta version of simulator for Psystems with string replication rules. This simulator is developed according to P-Lingua ideology and principles of the P-Lingua 2.1 development environment. Format for presentation of rules with replications in P-Lingua language is proposed. The already known solutions by means of P-systems with string replication for two problems are use...
متن کاملA P-Lingua Programming Environment for Membrane Computing
A new programming language for membrane computing, PLingua, is developed in this paper. This language is not designed for a specific simulator software. On the contrary, its purpose is to offer a general syntactic framework that could define a unified standard for membrane computing, covering a broad variety of models. At the present stage, P-Lingua can only handle P systems with active membran...
متن کاملSpiking Neural P Systems with Functional Astrocytes
Spiking Neural P Systems (SN P Systems, for short) is a developing field within the universe of P Systems. New variants arise constantly as the study of their properties, such as computational completeness and computational efficiency, grows. Variants frequently incorporate new ingredients into the original model inspired by real neurophysiological structure of the brain. A singular element pre...
متن کاملModel Checking Based Test Generation from P Systems Using P-Lingua
This paper presents an approach for P system testing, that uses model-checking for automatic test generation and P-Lingua as specification language. This approach is based on a transformation of the transitional, nondeterministic, cell-like P system into a Kripke structure, which is further used for test generation, by adding convenient temporal logic specifications. This paper extends our prev...
متن کاملA Microcomputer-Based Simulator for Digital Control Systems
A microcomputer-based simulator for digital control systems is proposed. The proposed simulator is a hybrid system in which the plant is simulated by conventional method of analog computers and other parts of the system including generation of input signal is performed digitally, using a Z-80 based microcomputer. To overcome the difficulty of programming in assembly language, and at the same ti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Program.
دوره 79 شماره
صفحات -
تاریخ انتشار 2010